منطق ربط و سلب لزوم در شرطی سالبه ی کلیه

نگارنده در مقاله‌ی دیگری در تحلیل شرطی‌های سالبه‌ی کلیه، با فرمول‌بندی عبارات ابن‌سینا نشان داده است که به تحلیل ابن‌سینا ایراد صوری مهمی وارد است و تلاش‌های ابن‌سینا در پاسخ به آن، پذیرفتنی نیستند. او به کمک تحلیل ابن‌سینا از موجبه‌ی کلیه، پاسخ دیگری به ایراد مورد نظر یافته، اما نشان داده است که این پاسخ نیز توان دفع ایراد را ندارد. در پایان، وی حل نهایی مسأله را، به عنوان مسأله‌ای باز، فراروی پژوهندگان قرار داده است. اکنون در این مقاله، نشان می‌دهیم که ایراد تحلیل‌های آن مقاله در تابع ‌ارزشی گرفتن شرطی است و با تبدیل آن به شرطی ربطی، ایراد مرتفع می‌گردد. البته کاربرد شرطی‌های ربطی هرچند در سالبه‌ی کلیه‌ی لزومی با کامیابی همراه است، در تحلیل موجبه‌ی جزییه لزومیه با دشواری‌هایی روبه‌رو است. نشان می‌دهیم که با استفاده از تفکیک «لزومی حقیقی» و «لزومی لفظی» (که یکی از مهم‌ترین نوآوری‌های ابن‌سینا است) و با وارد ساختن «امکان مقدم» در تحلیل موجبه‌ی کلیه‌ی لزومیه، این دشواری‌ها را می‌توان پشت سر گذاشت.